Merge branch 'missing-annotation' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Tue, 21 Apr 2020 21:56:43 +0000 (21:56 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Tue, 21 Apr 2020 21:56:43 +0000 (21:56 +0000)
widget: Add missing callback annotation

See merge request GNOME/gtk!1732


Trivial merge